Nuprl Definition : eq_knd
11,40
postcript
pdf
eq_knd(
a
;
b
) == eqof(Kind-deq)(
a
,
b
)
latex
Definitions
Kind-deq
,
eqof(
d
)
FDL editor aliases
eq_knd
origin